3.1.9 \(\int (e x)^m (a+b x^n)^2 (A+B x^n) (c+d x^n)^2 \, dx\) [9]

3.1.9.1 Optimal result
3.1.9.2 Mathematica [A] (verified)
3.1.9.3 Rubi [A] (verified)
3.1.9.4 Maple [C] (warning: unable to verify)
3.1.9.5 Fricas [B] (verification not implemented)
3.1.9.6 Sympy [B] (verification not implemented)
3.1.9.7 Maxima [B] (verification not implemented)
3.1.9.8 Giac [B] (verification not implemented)
3.1.9.9 Mupad [B] (verification not implemented)

3.1.9.1 Optimal result

Integrand size = 31, antiderivative size = 237 \[ \int (e x)^m \left (a+b x^n\right )^2 \left (A+B x^n\right ) \left (c+d x^n\right )^2 \, dx=\frac {a c (a B c+2 A (b c+a d)) x^{1+n} (e x)^m}{1+m+n}+\frac {\left (2 a B c (b c+a d)+A \left (b^2 c^2+4 a b c d+a^2 d^2\right )\right ) x^{1+2 n} (e x)^m}{1+m+2 n}+\frac {\left (a^2 B d^2+2 a b d (2 B c+A d)+b^2 c (B c+2 A d)\right ) x^{1+3 n} (e x)^m}{1+m+3 n}+\frac {b d (2 b B c+A b d+2 a B d) x^{1+4 n} (e x)^m}{1+m+4 n}+\frac {b^2 B d^2 x^{1+5 n} (e x)^m}{1+m+5 n}+\frac {a^2 A c^2 (e x)^{1+m}}{e (1+m)} \]

output
a*c*(B*a*c+2*A*(a*d+b*c))*x^(1+n)*(e*x)^m/(1+m+n)+(2*a*B*c*(a*d+b*c)+A*(a^ 
2*d^2+4*a*b*c*d+b^2*c^2))*x^(1+2*n)*(e*x)^m/(1+m+2*n)+(a^2*B*d^2+2*a*b*d*( 
A*d+2*B*c)+b^2*c*(2*A*d+B*c))*x^(1+3*n)*(e*x)^m/(1+m+3*n)+b*d*(A*b*d+2*B*a 
*d+2*B*b*c)*x^(1+4*n)*(e*x)^m/(1+m+4*n)+b^2*B*d^2*x^(1+5*n)*(e*x)^m/(1+m+5 
*n)+a^2*A*c^2*(e*x)^(1+m)/e/(1+m)
 
3.1.9.2 Mathematica [A] (verified)

Time = 0.88 (sec) , antiderivative size = 199, normalized size of antiderivative = 0.84 \[ \int (e x)^m \left (a+b x^n\right )^2 \left (A+B x^n\right ) \left (c+d x^n\right )^2 \, dx=x (e x)^m \left (\frac {a^2 A c^2}{1+m}+\frac {a c (a B c+2 A (b c+a d)) x^n}{1+m+n}+\frac {\left (2 a B c (b c+a d)+A \left (b^2 c^2+4 a b c d+a^2 d^2\right )\right ) x^{2 n}}{1+m+2 n}+\frac {\left (a^2 B d^2+2 a b d (2 B c+A d)+b^2 c (B c+2 A d)\right ) x^{3 n}}{1+m+3 n}+\frac {b d (2 b B c+A b d+2 a B d) x^{4 n}}{1+m+4 n}+\frac {b^2 B d^2 x^{5 n}}{1+m+5 n}\right ) \]

input
Integrate[(e*x)^m*(a + b*x^n)^2*(A + B*x^n)*(c + d*x^n)^2,x]
 
output
x*(e*x)^m*((a^2*A*c^2)/(1 + m) + (a*c*(a*B*c + 2*A*(b*c + a*d))*x^n)/(1 + 
m + n) + ((2*a*B*c*(b*c + a*d) + A*(b^2*c^2 + 4*a*b*c*d + a^2*d^2))*x^(2*n 
))/(1 + m + 2*n) + ((a^2*B*d^2 + 2*a*b*d*(2*B*c + A*d) + b^2*c*(B*c + 2*A* 
d))*x^(3*n))/(1 + m + 3*n) + (b*d*(2*b*B*c + A*b*d + 2*a*B*d)*x^(4*n))/(1 
+ m + 4*n) + (b^2*B*d^2*x^(5*n))/(1 + m + 5*n))
 
3.1.9.3 Rubi [A] (verified)

Time = 0.48 (sec) , antiderivative size = 237, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.065, Rules used = {1040, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int (e x)^m \left (a+b x^n\right )^2 \left (A+B x^n\right ) \left (c+d x^n\right )^2 \, dx\)

\(\Big \downarrow \) 1040

\(\displaystyle \int \left (x^{2 n} (e x)^m \left (A \left (a^2 d^2+4 a b c d+b^2 c^2\right )+2 a B c (a d+b c)\right )+x^{3 n} (e x)^m \left (a^2 B d^2+2 a b d (A d+2 B c)+b^2 c (2 A d+B c)\right )+a^2 A c^2 (e x)^m+b d x^{4 n} (e x)^m (2 a B d+A b d+2 b B c)+a c x^n (e x)^m (2 A (a d+b c)+a B c)+b^2 B d^2 x^{5 n} (e x)^m\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {x^{2 n+1} (e x)^m \left (A \left (a^2 d^2+4 a b c d+b^2 c^2\right )+2 a B c (a d+b c)\right )}{m+2 n+1}+\frac {x^{3 n+1} (e x)^m \left (a^2 B d^2+2 a b d (A d+2 B c)+b^2 c (2 A d+B c)\right )}{m+3 n+1}+\frac {a^2 A c^2 (e x)^{m+1}}{e (m+1)}+\frac {a c x^{n+1} (e x)^m (2 A (a d+b c)+a B c)}{m+n+1}+\frac {b d x^{4 n+1} (e x)^m (2 a B d+A b d+2 b B c)}{m+4 n+1}+\frac {b^2 B d^2 x^{5 n+1} (e x)^m}{m+5 n+1}\)

input
Int[(e*x)^m*(a + b*x^n)^2*(A + B*x^n)*(c + d*x^n)^2,x]
 
output
(a*c*(a*B*c + 2*A*(b*c + a*d))*x^(1 + n)*(e*x)^m)/(1 + m + n) + ((2*a*B*c* 
(b*c + a*d) + A*(b^2*c^2 + 4*a*b*c*d + a^2*d^2))*x^(1 + 2*n)*(e*x)^m)/(1 + 
 m + 2*n) + ((a^2*B*d^2 + 2*a*b*d*(2*B*c + A*d) + b^2*c*(B*c + 2*A*d))*x^( 
1 + 3*n)*(e*x)^m)/(1 + m + 3*n) + (b*d*(2*b*B*c + A*b*d + 2*a*B*d)*x^(1 + 
4*n)*(e*x)^m)/(1 + m + 4*n) + (b^2*B*d^2*x^(1 + 5*n)*(e*x)^m)/(1 + m + 5*n 
) + (a^2*A*c^2*(e*x)^(1 + m))/(e*(1 + m))
 

3.1.9.3.1 Defintions of rubi rules used

rule 1040
Int[((g_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_.)*((c_) + (d_.)*(x_)^(n 
_))^(q_.)*((e_) + (f_.)*(x_)^(n_))^(r_.), x_Symbol] :> Int[ExpandIntegrand[ 
(g*x)^m*(a + b*x^n)^p*(c + d*x^n)^q*(e + f*x^n)^r, x], x] /; FreeQ[{a, b, c 
, d, e, f, g, m, n}, x] && IGtQ[p, -2] && IGtQ[q, 0] && IGtQ[r, 0]
 

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 
3.1.9.4 Maple [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 9 vs. order 3.

Time = 3.33 (sec) , antiderivative size = 5875, normalized size of antiderivative = 24.79

method result size
risch \(\text {Expression too large to display}\) \(5875\)
parallelrisch \(\text {Expression too large to display}\) \(7994\)

input
int((e*x)^m*(a+b*x^n)^2*(A+B*x^n)*(c+d*x^n)^2,x,method=_RETURNVERBOSE)
 
output
result too large to display
 
3.1.9.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 3515 vs. \(2 (237) = 474\).

Time = 0.37 (sec) , antiderivative size = 3515, normalized size of antiderivative = 14.83 \[ \int (e x)^m \left (a+b x^n\right )^2 \left (A+B x^n\right ) \left (c+d x^n\right )^2 \, dx=\text {Too large to display} \]

input
integrate((e*x)^m*(a+b*x^n)^2*(A+B*x^n)*(c+d*x^n)^2,x, algorithm="fricas")
 
output
((B*b^2*d^2*m^5 + 5*B*b^2*d^2*m^4 + 10*B*b^2*d^2*m^3 + 10*B*b^2*d^2*m^2 + 
5*B*b^2*d^2*m + B*b^2*d^2 + 24*(B*b^2*d^2*m + B*b^2*d^2)*n^4 + 50*(B*b^2*d 
^2*m^2 + 2*B*b^2*d^2*m + B*b^2*d^2)*n^3 + 35*(B*b^2*d^2*m^3 + 3*B*b^2*d^2* 
m^2 + 3*B*b^2*d^2*m + B*b^2*d^2)*n^2 + 10*(B*b^2*d^2*m^4 + 4*B*b^2*d^2*m^3 
 + 6*B*b^2*d^2*m^2 + 4*B*b^2*d^2*m + B*b^2*d^2)*n)*x*x^(5*n)*e^(m*log(e) + 
 m*log(x)) + ((2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2)*m^5 + 2*B*b^2*c*d + 5* 
(2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2)*m^4 + 30*(2*B*b^2*c*d + (2*B*a*b + A 
*b^2)*d^2 + (2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2)*m)*n^4 + 10*(2*B*b^2*c*d 
 + (2*B*a*b + A*b^2)*d^2)*m^3 + 61*(2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2 + 
(2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2)*m^2 + 2*(2*B*b^2*c*d + (2*B*a*b + A* 
b^2)*d^2)*m)*n^3 + (2*B*a*b + A*b^2)*d^2 + 10*(2*B*b^2*c*d + (2*B*a*b + A* 
b^2)*d^2)*m^2 + 41*(2*B*b^2*c*d + (2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2)*m^ 
3 + (2*B*a*b + A*b^2)*d^2 + 3*(2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2)*m^2 + 
3*(2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2)*m)*n^2 + 5*(2*B*b^2*c*d + (2*B*a*b 
 + A*b^2)*d^2)*m + 11*(2*B*b^2*c*d + (2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2) 
*m^4 + 4*(2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2)*m^3 + (2*B*a*b + A*b^2)*d^2 
 + 6*(2*B*b^2*c*d + (2*B*a*b + A*b^2)*d^2)*m^2 + 4*(2*B*b^2*c*d + (2*B*a*b 
 + A*b^2)*d^2)*m)*n)*x*x^(4*n)*e^(m*log(e) + m*log(x)) + ((B*b^2*c^2 + 2*( 
2*B*a*b + A*b^2)*c*d + (B*a^2 + 2*A*a*b)*d^2)*m^5 + B*b^2*c^2 + 5*(B*b^2*c 
^2 + 2*(2*B*a*b + A*b^2)*c*d + (B*a^2 + 2*A*a*b)*d^2)*m^4 + 40*(B*b^2*c...
 
3.1.9.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 72500 vs. \(2 (233) = 466\).

Time = 14.26 (sec) , antiderivative size = 72500, normalized size of antiderivative = 305.91 \[ \int (e x)^m \left (a+b x^n\right )^2 \left (A+B x^n\right ) \left (c+d x^n\right )^2 \, dx=\text {Too large to display} \]

input
integrate((e*x)**m*(a+b*x**n)**2*(A+B*x**n)*(c+d*x**n)**2,x)
 
output
Piecewise(((A + B)*(a + b)**2*(c + d)**2*log(x)/e, Eq(m, -1) & Eq(n, 0)), 
((A*a**2*c**2*log(x) + 2*A*a**2*c*d*x**n/n + A*a**2*d**2*x**(2*n)/(2*n) + 
2*A*a*b*c**2*x**n/n + 2*A*a*b*c*d*x**(2*n)/n + 2*A*a*b*d**2*x**(3*n)/(3*n) 
 + A*b**2*c**2*x**(2*n)/(2*n) + 2*A*b**2*c*d*x**(3*n)/(3*n) + A*b**2*d**2* 
x**(4*n)/(4*n) + B*a**2*c**2*x**n/n + B*a**2*c*d*x**(2*n)/n + B*a**2*d**2* 
x**(3*n)/(3*n) + B*a*b*c**2*x**(2*n)/n + 4*B*a*b*c*d*x**(3*n)/(3*n) + B*a* 
b*d**2*x**(4*n)/(2*n) + B*b**2*c**2*x**(3*n)/(3*n) + B*b**2*c*d*x**(4*n)/( 
2*n) + B*b**2*d**2*x**(5*n)/(5*n))/e, Eq(m, -1)), (A*a**2*c**2*Piecewise(( 
0**(-5*n - 1)*x, Eq(e, 0)), (Piecewise((-1/(5*n*(e*x)**(5*n)), Ne(n, 0)), 
(log(e*x), True))/e, True)) + 2*A*a**2*c*d*Piecewise((-x*x**n*(e*x)**(-5*n 
 - 1)/(4*n), Ne(n, 0)), (x*x**n*(e*x)**(-5*n - 1)*log(x), True)) + A*a**2* 
d**2*Piecewise((-x*x**(2*n)*(e*x)**(-5*n - 1)/(3*n), Ne(n, 0)), (x*x**(2*n 
)*(e*x)**(-5*n - 1)*log(x), True)) + 2*A*a*b*c**2*Piecewise((-x*x**n*(e*x) 
**(-5*n - 1)/(4*n), Ne(n, 0)), (x*x**n*(e*x)**(-5*n - 1)*log(x), True)) + 
4*A*a*b*c*d*Piecewise((-x*x**(2*n)*(e*x)**(-5*n - 1)/(3*n), Ne(n, 0)), (x* 
x**(2*n)*(e*x)**(-5*n - 1)*log(x), True)) + 2*A*a*b*d**2*Piecewise((-x*x** 
(3*n)*(e*x)**(-5*n - 1)/(2*n), Ne(n, 0)), (x*x**(3*n)*(e*x)**(-5*n - 1)*lo 
g(x), True)) + A*b**2*c**2*Piecewise((-x*x**(2*n)*(e*x)**(-5*n - 1)/(3*n), 
 Ne(n, 0)), (x*x**(2*n)*(e*x)**(-5*n - 1)*log(x), True)) + 2*A*b**2*c*d*Pi 
ecewise((-x*x**(3*n)*(e*x)**(-5*n - 1)/(2*n), Ne(n, 0)), (x*x**(3*n)*(e...
 
3.1.9.7 Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 540 vs. \(2 (237) = 474\).

Time = 0.28 (sec) , antiderivative size = 540, normalized size of antiderivative = 2.28 \[ \int (e x)^m \left (a+b x^n\right )^2 \left (A+B x^n\right ) \left (c+d x^n\right )^2 \, dx=\frac {B b^{2} d^{2} e^{m} x e^{\left (m \log \left (x\right ) + 5 \, n \log \left (x\right )\right )}}{m + 5 \, n + 1} + \frac {2 \, B b^{2} c d e^{m} x e^{\left (m \log \left (x\right ) + 4 \, n \log \left (x\right )\right )}}{m + 4 \, n + 1} + \frac {2 \, B a b d^{2} e^{m} x e^{\left (m \log \left (x\right ) + 4 \, n \log \left (x\right )\right )}}{m + 4 \, n + 1} + \frac {A b^{2} d^{2} e^{m} x e^{\left (m \log \left (x\right ) + 4 \, n \log \left (x\right )\right )}}{m + 4 \, n + 1} + \frac {B b^{2} c^{2} e^{m} x e^{\left (m \log \left (x\right ) + 3 \, n \log \left (x\right )\right )}}{m + 3 \, n + 1} + \frac {4 \, B a b c d e^{m} x e^{\left (m \log \left (x\right ) + 3 \, n \log \left (x\right )\right )}}{m + 3 \, n + 1} + \frac {2 \, A b^{2} c d e^{m} x e^{\left (m \log \left (x\right ) + 3 \, n \log \left (x\right )\right )}}{m + 3 \, n + 1} + \frac {B a^{2} d^{2} e^{m} x e^{\left (m \log \left (x\right ) + 3 \, n \log \left (x\right )\right )}}{m + 3 \, n + 1} + \frac {2 \, A a b d^{2} e^{m} x e^{\left (m \log \left (x\right ) + 3 \, n \log \left (x\right )\right )}}{m + 3 \, n + 1} + \frac {2 \, B a b c^{2} e^{m} x e^{\left (m \log \left (x\right ) + 2 \, n \log \left (x\right )\right )}}{m + 2 \, n + 1} + \frac {A b^{2} c^{2} e^{m} x e^{\left (m \log \left (x\right ) + 2 \, n \log \left (x\right )\right )}}{m + 2 \, n + 1} + \frac {2 \, B a^{2} c d e^{m} x e^{\left (m \log \left (x\right ) + 2 \, n \log \left (x\right )\right )}}{m + 2 \, n + 1} + \frac {4 \, A a b c d e^{m} x e^{\left (m \log \left (x\right ) + 2 \, n \log \left (x\right )\right )}}{m + 2 \, n + 1} + \frac {A a^{2} d^{2} e^{m} x e^{\left (m \log \left (x\right ) + 2 \, n \log \left (x\right )\right )}}{m + 2 \, n + 1} + \frac {B a^{2} c^{2} e^{m} x e^{\left (m \log \left (x\right ) + n \log \left (x\right )\right )}}{m + n + 1} + \frac {2 \, A a b c^{2} e^{m} x e^{\left (m \log \left (x\right ) + n \log \left (x\right )\right )}}{m + n + 1} + \frac {2 \, A a^{2} c d e^{m} x e^{\left (m \log \left (x\right ) + n \log \left (x\right )\right )}}{m + n + 1} + \frac {\left (e x\right )^{m + 1} A a^{2} c^{2}}{e {\left (m + 1\right )}} \]

input
integrate((e*x)^m*(a+b*x^n)^2*(A+B*x^n)*(c+d*x^n)^2,x, algorithm="maxima")
 
output
B*b^2*d^2*e^m*x*e^(m*log(x) + 5*n*log(x))/(m + 5*n + 1) + 2*B*b^2*c*d*e^m* 
x*e^(m*log(x) + 4*n*log(x))/(m + 4*n + 1) + 2*B*a*b*d^2*e^m*x*e^(m*log(x) 
+ 4*n*log(x))/(m + 4*n + 1) + A*b^2*d^2*e^m*x*e^(m*log(x) + 4*n*log(x))/(m 
 + 4*n + 1) + B*b^2*c^2*e^m*x*e^(m*log(x) + 3*n*log(x))/(m + 3*n + 1) + 4* 
B*a*b*c*d*e^m*x*e^(m*log(x) + 3*n*log(x))/(m + 3*n + 1) + 2*A*b^2*c*d*e^m* 
x*e^(m*log(x) + 3*n*log(x))/(m + 3*n + 1) + B*a^2*d^2*e^m*x*e^(m*log(x) + 
3*n*log(x))/(m + 3*n + 1) + 2*A*a*b*d^2*e^m*x*e^(m*log(x) + 3*n*log(x))/(m 
 + 3*n + 1) + 2*B*a*b*c^2*e^m*x*e^(m*log(x) + 2*n*log(x))/(m + 2*n + 1) + 
A*b^2*c^2*e^m*x*e^(m*log(x) + 2*n*log(x))/(m + 2*n + 1) + 2*B*a^2*c*d*e^m* 
x*e^(m*log(x) + 2*n*log(x))/(m + 2*n + 1) + 4*A*a*b*c*d*e^m*x*e^(m*log(x) 
+ 2*n*log(x))/(m + 2*n + 1) + A*a^2*d^2*e^m*x*e^(m*log(x) + 2*n*log(x))/(m 
 + 2*n + 1) + B*a^2*c^2*e^m*x*e^(m*log(x) + n*log(x))/(m + n + 1) + 2*A*a* 
b*c^2*e^m*x*e^(m*log(x) + n*log(x))/(m + n + 1) + 2*A*a^2*c*d*e^m*x*e^(m*l 
og(x) + n*log(x))/(m + n + 1) + (e*x)^(m + 1)*A*a^2*c^2/(e*(m + 1))
 
3.1.9.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 32523 vs. \(2 (237) = 474\).

Time = 0.51 (sec) , antiderivative size = 32523, normalized size of antiderivative = 137.23 \[ \int (e x)^m \left (a+b x^n\right )^2 \left (A+B x^n\right ) \left (c+d x^n\right )^2 \, dx=\text {Too large to display} \]

input
integrate((e*x)^m*(a+b*x^n)^2*(A+B*x^n)*(c+d*x^n)^2,x, algorithm="giac")
 
output
(B*b^2*d^2*m^5*x*x^(5*n)*e^(m*log(e) + m*log(x)) + 10*B*b^2*d^2*m^4*n*x*x^ 
(5*n)*e^(m*log(e) + m*log(x)) + 35*B*b^2*d^2*m^3*n^2*x*x^(5*n)*e^(m*log(e) 
 + m*log(x)) + 50*B*b^2*d^2*m^2*n^3*x*x^(5*n)*e^(m*log(e) + m*log(x)) + 24 
*B*b^2*d^2*m*n^4*x*x^(5*n)*e^(m*log(e) + m*log(x)) + 2*B*b^2*c*d*m^5*x*x^( 
4*n)*e^(m*log(e) + m*log(x)) + 2*B*a*b*d^2*m^5*x*x^(4*n)*e^(m*log(e) + m*l 
og(x)) + A*b^2*d^2*m^5*x*x^(4*n)*e^(m*log(e) + m*log(x)) + B*b^2*d^2*m^5*x 
*x^(4*n)*e^(m*log(e) + m*log(x)) + 22*B*b^2*c*d*m^4*n*x*x^(4*n)*e^(m*log(e 
) + m*log(x)) + 22*B*a*b*d^2*m^4*n*x*x^(4*n)*e^(m*log(e) + m*log(x)) + 11* 
A*b^2*d^2*m^4*n*x*x^(4*n)*e^(m*log(e) + m*log(x)) + 10*B*b^2*d^2*m^4*n*x*x 
^(4*n)*e^(m*log(e) + m*log(x)) + 82*B*b^2*c*d*m^3*n^2*x*x^(4*n)*e^(m*log(e 
) + m*log(x)) + 82*B*a*b*d^2*m^3*n^2*x*x^(4*n)*e^(m*log(e) + m*log(x)) + 4 
1*A*b^2*d^2*m^3*n^2*x*x^(4*n)*e^(m*log(e) + m*log(x)) + 35*B*b^2*d^2*m^3*n 
^2*x*x^(4*n)*e^(m*log(e) + m*log(x)) + 122*B*b^2*c*d*m^2*n^3*x*x^(4*n)*e^( 
m*log(e) + m*log(x)) + 122*B*a*b*d^2*m^2*n^3*x*x^(4*n)*e^(m*log(e) + m*log 
(x)) + 61*A*b^2*d^2*m^2*n^3*x*x^(4*n)*e^(m*log(e) + m*log(x)) + 50*B*b^2*d 
^2*m^2*n^3*x*x^(4*n)*e^(m*log(e) + m*log(x)) + 60*B*b^2*c*d*m*n^4*x*x^(4*n 
)*e^(m*log(e) + m*log(x)) + 60*B*a*b*d^2*m*n^4*x*x^(4*n)*e^(m*log(e) + m*l 
og(x)) + 30*A*b^2*d^2*m*n^4*x*x^(4*n)*e^(m*log(e) + m*log(x)) + 24*B*b^2*d 
^2*m*n^4*x*x^(4*n)*e^(m*log(e) + m*log(x)) + B*b^2*c^2*m^5*x*x^(3*n)*e^(m* 
log(e) + m*log(x)) + 4*B*a*b*c*d*m^5*x*x^(3*n)*e^(m*log(e) + m*log(x)) ...
 
3.1.9.9 Mupad [B] (verification not implemented)

Time = 9.87 (sec) , antiderivative size = 1119, normalized size of antiderivative = 4.72 \[ \int (e x)^m \left (a+b x^n\right )^2 \left (A+B x^n\right ) \left (c+d x^n\right )^2 \, dx=\frac {x\,x^{2\,n}\,{\left (e\,x\right )}^m\,\left (2\,B\,a^2\,c\,d+A\,a^2\,d^2+2\,B\,a\,b\,c^2+4\,A\,a\,b\,c\,d+A\,b^2\,c^2\right )\,\left (m^4+13\,m^3\,n+4\,m^3+59\,m^2\,n^2+39\,m^2\,n+6\,m^2+107\,m\,n^3+118\,m\,n^2+39\,m\,n+4\,m+60\,n^4+107\,n^3+59\,n^2+13\,n+1\right )}{m^5+15\,m^4\,n+5\,m^4+85\,m^3\,n^2+60\,m^3\,n+10\,m^3+225\,m^2\,n^3+255\,m^2\,n^2+90\,m^2\,n+10\,m^2+274\,m\,n^4+450\,m\,n^3+255\,m\,n^2+60\,m\,n+5\,m+120\,n^5+274\,n^4+225\,n^3+85\,n^2+15\,n+1}+\frac {x\,x^{3\,n}\,{\left (e\,x\right )}^m\,\left (B\,a^2\,d^2+4\,B\,a\,b\,c\,d+2\,A\,a\,b\,d^2+B\,b^2\,c^2+2\,A\,b^2\,c\,d\right )\,\left (m^4+12\,m^3\,n+4\,m^3+49\,m^2\,n^2+36\,m^2\,n+6\,m^2+78\,m\,n^3+98\,m\,n^2+36\,m\,n+4\,m+40\,n^4+78\,n^3+49\,n^2+12\,n+1\right )}{m^5+15\,m^4\,n+5\,m^4+85\,m^3\,n^2+60\,m^3\,n+10\,m^3+225\,m^2\,n^3+255\,m^2\,n^2+90\,m^2\,n+10\,m^2+274\,m\,n^4+450\,m\,n^3+255\,m\,n^2+60\,m\,n+5\,m+120\,n^5+274\,n^4+225\,n^3+85\,n^2+15\,n+1}+\frac {A\,a^2\,c^2\,x\,{\left (e\,x\right )}^m}{m+1}+\frac {b\,d\,x\,x^{4\,n}\,{\left (e\,x\right )}^m\,\left (A\,b\,d+2\,B\,a\,d+2\,B\,b\,c\right )\,\left (m^4+11\,m^3\,n+4\,m^3+41\,m^2\,n^2+33\,m^2\,n+6\,m^2+61\,m\,n^3+82\,m\,n^2+33\,m\,n+4\,m+30\,n^4+61\,n^3+41\,n^2+11\,n+1\right )}{m^5+15\,m^4\,n+5\,m^4+85\,m^3\,n^2+60\,m^3\,n+10\,m^3+225\,m^2\,n^3+255\,m^2\,n^2+90\,m^2\,n+10\,m^2+274\,m\,n^4+450\,m\,n^3+255\,m\,n^2+60\,m\,n+5\,m+120\,n^5+274\,n^4+225\,n^3+85\,n^2+15\,n+1}+\frac {B\,b^2\,d^2\,x\,x^{5\,n}\,{\left (e\,x\right )}^m\,\left (m^4+10\,m^3\,n+4\,m^3+35\,m^2\,n^2+30\,m^2\,n+6\,m^2+50\,m\,n^3+70\,m\,n^2+30\,m\,n+4\,m+24\,n^4+50\,n^3+35\,n^2+10\,n+1\right )}{m^5+15\,m^4\,n+5\,m^4+85\,m^3\,n^2+60\,m^3\,n+10\,m^3+225\,m^2\,n^3+255\,m^2\,n^2+90\,m^2\,n+10\,m^2+274\,m\,n^4+450\,m\,n^3+255\,m\,n^2+60\,m\,n+5\,m+120\,n^5+274\,n^4+225\,n^3+85\,n^2+15\,n+1}+\frac {a\,c\,x\,x^n\,{\left (e\,x\right )}^m\,\left (2\,A\,a\,d+2\,A\,b\,c+B\,a\,c\right )\,\left (m^4+14\,m^3\,n+4\,m^3+71\,m^2\,n^2+42\,m^2\,n+6\,m^2+154\,m\,n^3+142\,m\,n^2+42\,m\,n+4\,m+120\,n^4+154\,n^3+71\,n^2+14\,n+1\right )}{m^5+15\,m^4\,n+5\,m^4+85\,m^3\,n^2+60\,m^3\,n+10\,m^3+225\,m^2\,n^3+255\,m^2\,n^2+90\,m^2\,n+10\,m^2+274\,m\,n^4+450\,m\,n^3+255\,m\,n^2+60\,m\,n+5\,m+120\,n^5+274\,n^4+225\,n^3+85\,n^2+15\,n+1} \]

input
int((e*x)^m*(A + B*x^n)*(a + b*x^n)^2*(c + d*x^n)^2,x)
 
output
(x*x^(2*n)*(e*x)^m*(A*a^2*d^2 + A*b^2*c^2 + 2*B*a*b*c^2 + 2*B*a^2*c*d + 4* 
A*a*b*c*d)*(4*m + 13*n + 39*m*n + 118*m*n^2 + 39*m^2*n + 107*m*n^3 + 13*m^ 
3*n + 6*m^2 + 4*m^3 + m^4 + 59*n^2 + 107*n^3 + 60*n^4 + 59*m^2*n^2 + 1))/( 
5*m + 15*n + 60*m*n + 255*m*n^2 + 90*m^2*n + 450*m*n^3 + 60*m^3*n + 274*m* 
n^4 + 15*m^4*n + 10*m^2 + 10*m^3 + 5*m^4 + m^5 + 85*n^2 + 225*n^3 + 274*n^ 
4 + 120*n^5 + 255*m^2*n^2 + 225*m^2*n^3 + 85*m^3*n^2 + 1) + (x*x^(3*n)*(e* 
x)^m*(B*a^2*d^2 + B*b^2*c^2 + 2*A*a*b*d^2 + 2*A*b^2*c*d + 4*B*a*b*c*d)*(4* 
m + 12*n + 36*m*n + 98*m*n^2 + 36*m^2*n + 78*m*n^3 + 12*m^3*n + 6*m^2 + 4* 
m^3 + m^4 + 49*n^2 + 78*n^3 + 40*n^4 + 49*m^2*n^2 + 1))/(5*m + 15*n + 60*m 
*n + 255*m*n^2 + 90*m^2*n + 450*m*n^3 + 60*m^3*n + 274*m*n^4 + 15*m^4*n + 
10*m^2 + 10*m^3 + 5*m^4 + m^5 + 85*n^2 + 225*n^3 + 274*n^4 + 120*n^5 + 255 
*m^2*n^2 + 225*m^2*n^3 + 85*m^3*n^2 + 1) + (A*a^2*c^2*x*(e*x)^m)/(m + 1) + 
 (b*d*x*x^(4*n)*(e*x)^m*(A*b*d + 2*B*a*d + 2*B*b*c)*(4*m + 11*n + 33*m*n + 
 82*m*n^2 + 33*m^2*n + 61*m*n^3 + 11*m^3*n + 6*m^2 + 4*m^3 + m^4 + 41*n^2 
+ 61*n^3 + 30*n^4 + 41*m^2*n^2 + 1))/(5*m + 15*n + 60*m*n + 255*m*n^2 + 90 
*m^2*n + 450*m*n^3 + 60*m^3*n + 274*m*n^4 + 15*m^4*n + 10*m^2 + 10*m^3 + 5 
*m^4 + m^5 + 85*n^2 + 225*n^3 + 274*n^4 + 120*n^5 + 255*m^2*n^2 + 225*m^2* 
n^3 + 85*m^3*n^2 + 1) + (B*b^2*d^2*x*x^(5*n)*(e*x)^m*(4*m + 10*n + 30*m*n 
+ 70*m*n^2 + 30*m^2*n + 50*m*n^3 + 10*m^3*n + 6*m^2 + 4*m^3 + m^4 + 35*n^2 
 + 50*n^3 + 24*n^4 + 35*m^2*n^2 + 1))/(5*m + 15*n + 60*m*n + 255*m*n^2 ...